Snowhite and the ω dwarves
نویسنده
چکیده
If (I,<) is a linearly ordered set, and (di)i∈I is a sequence of dwarves indexed by I, we say that a property P (x) holds eventually if there exists i0 ∈ I such that for all j > i0 we have P (dj). Let (di)i∈I be a sequence of dwarves, all distinct. The Devil puts a hat on the head of each dwarf. Each dwarf cannot see the colour of his own hat, but receives some additional information (depending on the specific problem). Then, the Devil asks each dwarf to guess the colour of his (the dwarf’s) hat; he kills all the dwarves who guess wrongly. Before receiving their hats, the dwarves discuss among themselves a strategy. Their aim is saving as many dwarves as possible; the aim of the devil is killing as many dwarves as possible.
منابع مشابه
How do brown dwarves form?
We review and evaluate four mechanisms for forming brown dwarves: (i) dynamical ejection of a stellar embryo from its placental prestellar core; (ii) opacity-limited fragmentation of a shock-compressed layer; (iii) gravitational instabilities in discs, triggered by impulsive interactions with other discs or naked stars; and (iv) photo-erosion of pre-existing cores. All these mechanisms can prod...
متن کاملDeterministic Fuzzy Automaton on Subclasses of Fuzzy Regular ω-Languages
In formal language theory, we are mainly interested in the natural language computational aspects of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, we introduce two subclasses of fuzzy regular ω-languages called fuzzy n-local ω-languages and Buchi fuzzy n-local ω-languages, and give some closure properties for those subclasses. We define a ...
متن کاملDetermination of e ω , e e x ω , e B , and e α using potential energy functions for heteronuclear diatomic molecules via spreadsheet program
In order to represent the potential energy function over the whole range of R, many potentialenergy functions have been proposed. In the present paper, we employ many potential energyfunctions, to use Numerov method for solving the nuclear Schrödinger equation for the IFmolecule, as an example of a heteronuclear diatomic molecules. Then we determine thespectroscopic constants eω , e e x ω , e B...
متن کاملEffects of frying by different frying oils on fatty acid profile of silver carp (Hypophthalmichthys molitrix)
The study aims to determine the influence of frying (shallow and deep) with olive, canola and sunflower oil on fatty acid composition of silver carp < /font>. Frying by olive oil and canola oil increased the monounsaturated fatty acids (MUFA) significantly (p < 0.05) that consequently decreased saturated fatty acids (SFA), polyunsaturated fatty acids (PUFA) and ω-3 fatty acids. Frying by sunfl...
متن کامل